1. ......................
پدیدآورنده :
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Microsoft Office,، Microsoft Windows )Computer file(,، Integrated software,Windows )PC operating system(
رده :
QA
76
.
76
.
I57
M49
1995
2. ......................
پدیدآورنده : Halvorson, Michael.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Integrated software,Microsoft Office for Windows,Microsoft Windows 59
رده :
QA
76
.
I57
H35
1995
3. <A> Simple guide to office xp
پدیدآورنده : Manon Cassade
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Microsoft office xp,Integrated software
رده :
HF
,
5548
.
4
,.
M52S23
4. Algebra, geometry, and software systems
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebra-- Computer programs,، Geometry-- Computer programs,، Integrated software
رده :
QA
155
.
7
.
E4
.
A53
2003
5. Asynchronous trnsfer mode
پدیدآورنده :
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Asynchronous transfer mode,Broadband communication systems,Integrated services digital networks,Local area networks (Computer networks) software
رده :
TK
5105
.
35
.
P79
1995
6. Beginning OpenOffice 3
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : OpenOffice.org (Electronic resource) ; OpenOffice.org (Electronic resource) ; sears. ; Integrated software. ; Integrated software. ; sears. ; Business ; Computer software. ; sears. ;
7. Beginning OpenOffice 3.0 :
پدیدآورنده : Andy Channelle
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : OpenOffice.org (Electronic resource),Integrated software
رده :
QA76
.
76
.
I57
C43
2009
8. Brief Microsoft Office 2000 Professsional
پدیدآورنده : Grauer, Robert T., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Microsoft Office,، Integrated software
رده :
QA
76
.
76
.
I57G7
9. Co-verification of hardware and software for ARM SoC design
پدیدآورنده : Andrews, Jason R.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Integrated circuits- Verification,، Computer software- Verification,، Systems on a chip
رده :
TK
7874
.
A595
2005
10. Co-verification of hardware and software for ARM SoC design
پدیدآورنده : / by Jason R. Andrews
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
E-BOOK
11. Co-verification of hardware and software for ARM SoC design
پدیدآورنده : / by Jason R. Andrews
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
TK7874
.
A595
2005
12. Complete computer concepts and Windows Applications
پدیدآورنده : Gary B. Shelly ... [et al.]&
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computers,Integrated software,Microsoft works for windows
رده :
QA
،
76
.
76
،.
I57
,
C661994
13. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
14. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
پدیدآورنده : Warren A. Hunt, Jr., Fabio Somenzi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
15. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
16. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
17. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
پدیدآورنده : Rajeev Alur, Thomas A. Henzinger
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102
18. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer software-- Verification,Congresses ، Integrated circuits-- Verification
رده :
QA
76
.
76
.
E93
.
C38
2001
19. Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
پدیدآورنده : Gerard Berry, Hubert Comon, Alain Finkel )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2102
20. Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
پدیدآورنده : Edited by Paolo Prinetto, Paolo Camurati
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses
رده :
TK
7874
.
A3353
1991
